-
1 categorical proof
Юридический термин: несомненная доказанность, несомненное доказательство -
2 categorical proof
-
3 categorical proof
-
4 categorical
-
5 proof
1) доказательство, доказательства2) доказывание3) доказанность4) судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных5) пробный оттиск, корректура•proof and hearing — судебное следствие и выступления сторон;
proof beyond all reasonable doubt — доказанность при полном отсутствии оснований для сомнения в ней;
proof beyond any reasonable doubt — доказанность при отсутствии какого-л. основания для сомнения в ней;
proof beyond reasonable doubt — доказанность при отсутствии обоснованного в ней сомнения ( критерий доказанности обвинения);
proof by admission — см. proof of admission 1., 2., 3.;
proof by affidavit — 1. доказательство, полученное с помощью аффидевита 2. доказывание посредством аффидевита 3. установление факта с помощью аффидевита;
proof by circumstantial [indirect] evidence — доказывание или доказанность косвенными доказательствами;
proof by confession — см. proof of confession 1., 2., 3., 4.;
proof by direct evidence — доказывание или доказанность прямыми доказательствами;
proof by evidence — см. proof of evidence 1., 2., 3.;
proof by notoriety — осведомлённость суда, судейская осведомлённость (в отношении фактов, полагаемых известными суду без доказательств);
proof by presumption — доказывание по презумпции;
proof by testimony — 1. доказывание посредством свидетельских показаний 2. доказанность свидетельскими показаниями;
proof from the contrary — 1. доказательство от противного 2. доказывание от противного 3. доказанность от противного;
proof on a preponderance of probabilities — доказанность наличием большей вероятности ( критерий доказанности в гражданском процессе);
to develop proof — представить или получить доказательства;
to take proof — получить доказательства;
- proof of attestationproof to the contrary — 1. доказательство противного 2. доказывание противного 3. доказанность противного
- proof of confession
- proof of consistency
- proof of evidence
- proof of fact
- proof of official record
- proof of record
- proof of witness
- affirmative proof
- affirmative proof of loss
- categorical proof
- circular proof
- circumstantial proof
- clear proof
- conclusive proof
- controvertible proof
- conviction proof
- crucial proof
- direct proof
- evident proof
- formal proof
- foundation proof
- foundational proof
- hard proof
- incontrovertible proof
- independent proof
- indirect proof
- indubitable proof
- infallible proof
- inferential proof
- irrefutable proof
- judgement proof
- literal proof
- negative proof
- positive proof
- presumptive proof
- relevant proof
- reliable proof
- satisfactory proof
- substantial proof
- testimonial proof
- uncontrovertible proof
- virtual proof
- decisive proof -
6 unequivocal
adjective* * *un·equivo·cal[ˌʌnɪˈkwɪvəkəl]adj eindeutig, unmissverständlichthe church has been \unequivocal in its condemnation of the violence die Kirche hat an ihrer Missbilligung der Gewalt keinen Zweifel gelassenan \unequivocal success ein eindeutiger Erfolg* * *["ʌnI'kwIvəkəl]adj1) unmissverständlich, eindeutig; answer also unzweideutig; evidence, proof eindeutig, unzweifelhafthe was quite unequivocal about it — er sagte es ganz unmissverständlich or eindeutig or klar
2) (= categorical) commitment, support rückhaltlosto be unequivocal in one's support of sth — etw rückhaltlos or ohne Vorbehalte unterstützen
* * *unequivocal adj (adv unequivocally) unzweideutig, unmissverständlich, eindeutig* * *adjective* * *adj.eindeutig adj. -
7 identity
1) матем. единица || единичный2) идентичность, одинаковость, тождественность5) опознание; отождествление6) матем. тождество7) геол. однородность•component of the identity — матем. компонента единицы
monoid with identity — матем. полугруппа с единицей
ring with identity — матем. кольцо с единицей
ring without identity — матем. кольцо без единицы
semigroup with identity — матем. полугруппа с единицей
semigroup without identity — матем. полугруппа без единицы
to reduce to an identity — матем. обращать в тождество
to satisfy an identity — мат. удовлетворять тождеству
-
8 conclusive
1. a заключительный2. a решающий, окончательный3. a убедительныйСинонимический ряд:1. crucial (adj.) crucial; deciding; decisive2. definitive (adj.) absolute; categorical; certain; convincing; definite; definitive; determining; final; irrefutable; ultimate3. official (adj.) authoritative; official; sanctioned; standard4. total (adj.) clean; complete; entire; perfect; total; unimpaired; wholeАнтонимический ряд: -
9 indubitable
a несомненный, верный, бесспорный, очевидныйСинонимический ряд:1. authentic (adj.) authentic; blown-in-the-bottle; bona fide; genuine; pukka; questionless; real; right; simon-pure; sure-enough; true; undoubted; undubitable; veritable; very2. downright (adj.) downright; flat; unquestionable; up-and-down3. positive (adj.) absolute; affirmative; categorical; certain; definite; firm; inarguable; incontestable; incontrovertible; indisputable; irrebuttable; irrefutable; positive; sure; uncontestable; uncontrovertible; undeniable; undisputable; undoubtable; unequivocalАнтонимический ряд: -
10 positive
1. n нечто положительное, положительностьpositive balance — положительный итог; положительный остаток
positive logic — положительная логика; позитивная логика
2. n нечто реальное, реальностьhis surmise was transcribed by others as a positive statement — его догадка трансформировалась в сознании других людей в утверждение; то, что он высказал как догадку, было воспринято другими как утверждение
3. n грам. положительная степень4. n фото позитив5. n эл. положительная пластина6. n муз. церк. позитив7. a несомненный; определённый, совершенно ясный8. a точный, определённый9. a решительный; категорический10. a положительный, утвердительный11. a верный, достоверный12. a уверенный, убеждённый в правильностиare you sure? — Yes, I am positive — вы уверены? — Да, совершенно
13. a самоуверенный14. a настоящий, определённый15. a разг. абсолютный, сущий; законченный16. a абсолютный, безусловный, безотносительный17. a позитивный; конструктивный18. a фото позитивный19. a тех. принудительный; нагнетательный; вдувной20. a спец. движущийся, вращающийся по часовой стрелке; правовращающийся21. a опт. вращающий плоскость поляризации вправо22. a опт. собирающийСинонимический ряд:1. actual (adj.) absolute; actual; factual; genuine; hard; sure-enough2. affirmative (adj.) affirmative; hopeful; optimistic3. beneficial (adj.) beneficial; constructive; functional; practical4. certain (adj.) assured; certain; cocksure; confident; convinced; inarguable; incontrovertible; indubitable; irrebuttable; irrefutable; overbearing; over-confident; secure; sure; uncontestable; uncontrovertible; undeniable; undisputable; undoubtable; undoubting; unhesitating; unquestionable5. decided (adj.) arbitrary; decided; decisive; determined; enacted; unconditional6. emphatic (adj.) assertive; dogmatic; emphatic; expressed; obstinate; peremptory; resolute; stated7. favourable (adj.) assenting; favourable8. incontestable (adj.) categorical; clear; clear-cut; definite; direct; explicit; express; incontestable; indisputable; precise; specific; unambiguous; unequivocal9. right-handed (adj.) clockwise; dextrorotatory; right-handed10. utter (adj.) all-fired; arrant; black; blamed; blank; blankety-blank; blasted; bleeding; blessed; blighted; blinding; blithering; blue; complete; confounded; consummate; crashing; dad-blamed; dad-blasted; dad-burned; damned; dang; darn; dashed; deuced; doggone; double-distilled; durn; utterАнтонимический ряд:contingent; contradictory; dependent; destructive; disputable; doubtful; dubious; enigmatic; equivocal; fictitious; hazy; insecure; negative; questionable
См. также в других словарях:
Categorical logic — is a branch of category theory within mathematics, adjacent to mathematical logic but in fact more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category,… … Wikipedia
Categorical imperative — Part of a series on Immanue … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Critique of Pure Reason — Part of a series on Immanuel … Wikipedia
Syllogism — A syllogism (Greek: συλλογισμός – syllogismos – conclusion, inference ) is a kind of logical argument in which one proposition (the conclusion) is inferred from two or more others (the premises) of a certain form. In antiquity, there were… … Wikipedia
List of fallacies — For specific popular misconceptions, see List of common misconceptions. A fallacy is incorrect argumentation in logic and rhetoric resulting in a lack of validity, or more generally, a lack of soundness. Contents 1 Formal fallacies 1.1… … Wikipedia
Early Islamic philosophy — or classical Islamic philosophy is a period of intense philosophical development beginning in the 2nd century AH of the Islamic calendar (early 9th century CE) and lasting until the 6th century AH (late 12th century CE). The period is known as… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia